翻訳と辞書
Words near each other
・ sl
・ sl5
・ slack
・ slackware
・ slam
・ slang
・ slap on the side
・ slash
・ slashdot effect
・ slave tty
sld resolution
・ sleep
・ slib
・ slide
・ sliding-window
・ slim
・ slingshot
・ slip
・ slipknot
・ slips


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

sld resolution : FOLDOC
SLD resolution
(Selected, Linear, Definite) {Linear resolution} with a {selection function} for {definite sentences}.
A definite sentence has exactly one {positive literal} in each clause and this literal is selected to be resolved upon, i.e. replaced in the goal clause by the conjunction of {negative literals} which form the body of the clause.
[Why is SLD resolution important?]
(2003-12-04)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.